$A$ $\leq$ $B$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\neg$($B$ $<$ $A$)